A Wronskian Approach to the real \tau-conjecture

نویسندگان

  • Pascal Koiran
  • Natacha Portier
  • S'ebastien Tavenas
چکیده

According to the real τ -conjecture, the number of real roots of a sum of products of sparse univariate polynomials should be polynomially bounded in the size of such an expression. It is known that this conjecture implies a superpolynomial lower bound on the arithmetic circuit complexity of the permanent. In this paper, we use the Wronksian determinant to give an upper bound on the number of real roots of sums of products of sparse polynomials of a special form. We focus on the case where the number of distinct sparse polynomials is small, but each polynomial may be repeated several times. We also give a deterministic polynomial identity testing algorithm for the same class of polynomials. Our proof techniques are quite versatile; they can in particular be applied to some sparse geometric problems that do not originate from arithmetic circuit complexity. The paper should therefore be of interest to researchers from these two communities (complexity theory and sparse polynomial systems). ∗UMR 5668 ENS Lyon CNRS UCBL INRIA, Université de Lyon, {pascal.koiran,natacha.portier,sebastien.tavenas}@ens-lyon.fr ar X iv :1 20 5. 10 15 v2 [ cs .C C ] 4 A pr 2 01 3

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The ring of real-continuous functions on a topoframe

 A topoframe, denoted by $L_{ tau}$,  is a pair $(L, tau)$ consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complementary elements in $L$. In this paper, we define and study the notions of a $tau $-real-continuous function on a frame $L$ and the set of real continuous functions $mathcal{R}L_tau $ as an $f$-ring. We show that $mathcal{R}L_{ tau}$ is actually a generali...

متن کامل

A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture

The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f . A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture f...

متن کامل

On the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang’s Conjecture

The purpose of this paper is twofold. First we derive theoretically, using appropriate transformation on x(n), the closed-form solution of the nonlinear difference equation x(n+1) = 1/(±1 + x(n)), n ∈ N_0. The form of solution of this equation, however, was first obtained in [10] but through induction principle. Then, with the solution of the above equation at hand, we prove a case ...

متن کامل

A Wronskian Approach to the real τ-conjecture

According to the real τ -conjecture, the number of real roots of a sum of products of sparse univariate polynomials should be polynomially bounded in the size of such an expression. It is known that this conjecture implies a superpolynomial lower bound on the arithmetic circuit complexity of the permanent. In this paper, we use the Wronksian determinant to give an upper bound on the number of r...

متن کامل

Application of Tau Approach for Solving Integro-Differential Equations with a Weakly Singular Kernel

In this work, the convection-diffusion integro-differential equation with a weakly singular kernel is discussed. The  Legendre spectral tau method is introduced for finding the unknown function. The proposed method is based on expanding the approximate solution as the elements of a shifted Legendre polynomials. We reduce the problem to a set of algebraic equations by using operational matrices....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012